Integration of root (1 cos2x)